Move doc production into its own target.

diff --git a/debian/rules b/debian/rules
index 07ac67ab6ae811895d950096c35d83da2e9f163b..7d36c7d513e9ca050af2d4c1d0066c919b076be6 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -52,18 +52,21 @@ debian/gpsbabel.1: build-stamp
 gui/Makefile: patch
        cd gui && qmake-qt4
 
-build: build-stamp build-gui-stamp debian/gpsbabel.1
+build: build-stamp build-gui-stamp build-doc-stamp debian/gpsbabel.1
 
 build-stamp: configure-stamp 
        dh_testdir
 
        # Add here commands to compile the package.
        $(MAKE)
-       $(MAKE) doc
        chmod u+x testo
        $(MAKE) check || true
 
-       touch build-stamp
+       touch $@
+
+build-doc-stamp: configure-stamp
+       $(MAKE) doc
+       touch $@
 
 build-gui: build-gui-stamp
 build-gui-stamp: gui/Makefile